CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 17 of 17 Results
1.
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G...
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G... by Apt, Krzysztof R., Olderog,... ISBN: 9783540574798 List Price: $38.00
$37.69
2.
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827448 List Price: $89.95
$33.98 (Save 62%)
3.
Constraint Logic Programming Using Eclipse
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780521866286 List Price: $73.00
$43.44 (Save 40%)
4.
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv...
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv... by Apt, Krzysztof R., Fages, F... ISBN: 9783540218340 List Price: $69.95
$27.13 (Save 61%)
5.
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199...
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199... by Apt, Krzysztof R., Kakas, A... ISBN: 9783540678854 List Price: $69.95
$52.33 (Save 25%)
6.
Logic Programming Languages Constraints, Functions, and Objects
Logic Programming Languages Constraints, Functions, and Objects by Apt, Krzysztof R., De Bakke... ISBN: 9780262011341 List Price: $36.95
$102.94
7.
Lectures in Game Theory for Computer Scientists
Lectures in Game Theory for Computer Scientists by Apt, Krzysztof R., Grädel, ... ISBN: 9780521198660 List Price: $72.00
$92.08
8.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., De Boer,... ISBN: 9781848827462 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
9.
Logics and Models of Concurrent Systems
Logics and Models of Concurrent Systems by R Apt, Krzysztof ISBN: 9783642824548 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475743777 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Logic Programming Paradigm
Logic Programming Paradigm by R Apt, Krzysztof, W Marek, ... ISBN: 9783642600869 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827455

OUT OF STOCK

See Availability on Amazon
13.
Logic Programming Paradigm A 25-Year Perspective
Logic Programming Paradigm A 25-Year Perspective by Apt, Krzysztof R., Marek, V... ISBN: 9783540654636 List Price: $81.95
$12.50 (Save 84%)
14.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge by Apt, Krzysztof R. ISBN: 9781450307079 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
15.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475727159 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
16.
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra: His Life, Work, and Legacy by Apt, Krzysztof R., Hoare, Tony ISBN: 9781450397711
$82.98
17.
Constraint Logic Programming Using Eclipse
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780511345852

OUT OF STOCK

See Availability on Amazon